$\forall$$T$:Type, $R$, $Q$:($T$$\rightarrow$$T$$\rightarrow\mathbb{P}$). $R$ =$>$ $Q$ $\Rightarrow$ Trans($T$;$x$,$y$.$x$ $Q$ $y$) $\Rightarrow$ $R$\^{}+ =$>$ $Q$